Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
541	Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents Add to Reading List Source URL: cs.yale.edu Language: English - Date: 2014-10-24 21:23:28 Elementary arithmetic Mathematical logic Formal systems Probability theory Normal distribution First-order logic Generating function Probability-generating function Function Mathematics Logic Binary operations
542	PDF Document Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-09-21 11:10:41 Combinatorics Insertion sort External sorting Merge sort Algorithm Sort Quicksort Bitonic sorter Sorting algorithms Order theory Mathematics
543	SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-08-22 12:16:49 Model theory Metalogic Logic in computer science Formal languages Temporal logic Well-formed formula First-order logic Symbol Satisfiability Logic Mathematical logic Theoretical computer science
544	Hearing: January 23, 2015 J:\Regulations\2015\Updates\ORDER TO INITIATE)\Item 14.doc ITEM 14 ADOPTION OF COMMISSION ORDER TO INITIATE RULEMAKING GENERAL CLEANUP PROVISIONS Add to Reading List Source URL: www.csm.ca.gov Language: English - Date: 2015-01-07 17:32:49 Rulemaking Internal Revenue Service Law Public administration Government United States administrative law Administrative law Decision theory
545	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
546	Published Works by Andrea Braides (in order of writing) 1. A. Braides. Omogeneizzazione di integrali non coercivi. Ricerche Mat), A. Braides. Omogeneizzazione quasi periodica. Atti del convegno “E Add to Reading List Source URL: axp.mat.uniroma2.it Language: English - Date: 2013-07-24 05:57:07 Asymptotic homogenization Bounded variation Perturbation theory Mathematical analysis Calculus of variations Γ-convergence
547	Sets with Cardinality Constraints in Satisfiability Modulo Theories Philippe Suter? , Robin Steiger, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Metalogic Formal methods Model theory Logic in computer science NP-complete problems First-order logic Satisfiability Modulo Theories Function Interpretation Logic Mathematics Theoretical computer science
548	A Logic-based Framework for Verifying Consensus Algorithms? Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zufferey3?? 1 Add to Reading List Source URL: forsyte.at Language: English - Date: 2013-12-10 04:45:58 Predicate logic Model theory Propositional calculus Theoretical computer science First-order logic Algorithm Function Predicate Interpretation Logic Mathematical logic Mathematics
549	Microsoft Word - ORDER FORM01 Add to Reading List Source URL: all.eregulations.us Language: English - Date: 2014-05-23 15:39:03 Rulemaking Law Public law United States administrative law Administrative law Decision theory
550	Hearing Date: January 23, 2015 J:\Regulations\2015\General Cleanup\ORDER TO INITIATE)\TOC.docx ITEM 14 ADOPTION OF COMMISSION ORDER TO INITIATE RULEMAKING GENERAL CLEANUP PROVISIONS Add to Reading List Source URL: www.csm.ca.gov Language: English - Date: 2015-01-07 17:32:50 United States administrative law Internal Revenue Service Law Public administration Government Administrative law Decision theory Rulemaking

UPDATE